using an int * (array) return value in python via cffi